towards A formal Model of Shared Memory Consistency for Intel ItaniumTM

Towards a Formal Model of Shared Memory Consisten y for Intel ItaniumTM

An Improved DSM System Design and Implementation

In this paper, an Improved Distributed Shared Memory (IDSM) system, a hybrid version of shared memory and message passing version is proposed. This version effectively uses the benefits of shared memory in terms of ease of programming and message passing in terms of efficiency. Further it is designed to effectively utilize the stateof-art multicore based network of workstations and supports sta...

Hardware Support for Shared-memory Concurrency: Reconciling Programmability with Performance

With regard to hardware support for shared-memory concurrency, an inherent trade-off between programmability and performance is presumed. For instance, the most intuitive memory consistency model, sequential consistency (SC), is presumed to be too expensive to support; likewise primitive synchronization instructions such as memory fences and atomic read-modify writes (RMWs) are costly in curren...

Concord: Re-Thinking the Division of Labor in a Distributed Shared Memory System

A distributed shared memory system provides the abstraction of a shared address space on either a network of workstations or a distributed-memory multiprocessor. Although a distributed shared memory system can improve performance by relaxing the memory consistency model and maintaining memory coherence at a granularity speci ed by the programmer, the challenge is to o er ease of programming whi...

A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® ItaniumTM Processor Bus Protocol

In practice, formal specifications are often considered too costly for the benefits they promise. Specifically, interface specifications such as standard bus protocol descriptions are still documented informally, and although many admit formal versions would be useful, they are dissuaded by the time and effort needed for development. We champion a formal specification methodology that attacks t...